Marieke Huisman: tražiti na sajtu Z-Library

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Slobodan pristup znanju i kulturi.

Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024

Z-Library je jednja od najvećih online biblioteka koja sadrži više od 17,000,000 knjiga i 84,837,000 članaka. Naš je cilj da literatura bude dostupna svakome. Danas (15. septembra 2024) smo započeli dodatno prikupljanje sredstava za podršku i razvoj projekta.

Takođe NEOGRANIČENA preuzimanja (na 31 dan od dana doniranja) biće dostupna SVIM korisnicima ko je fonirao tokom perioda prikupljanja sredstava do 1. oktobra 2024.

O prikupljanju novcaDetaljnije

Knjige (25)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Godina:

2018

Jezik:

english

Fajl:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Godina:

2019

Jezik:

english

Fajl:

PDF, 9.90 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Godina:

2018

Jezik:

english

Fajl:

PDF, 18.46 MB

0 / 0

english, 2018

4

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 4.02 MB

0 / 0

english, 2005

5

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

Godina:

2020

Jezik:

english

Fajl:

EPUB, 6.00 MB

0 / 0

english, 2020

6

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 3.26 MB

0 / 0

english, 2000

7

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman & António Ravara & Gerhard Goos & Juris Hartmanis & Elisa Bertino & Wen Gao & Bernhard Steffen & Moti Yung

Godina:

2023

Jezik:

english

Fajl:

PDF, 6.81 MB

0 / 5.0

english, 2023

8

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Stephen Gilmore (auth.), Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (eds.)

Godina:

2005

Jezik:

english

Fajl:

PDF, 4.23 MB

0 / 0

english, 2005

9

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 1.73 MB

0 / 0

english, 2006

10

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT ’99, Château de Bonas, September 15-18, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll (auth.), Didier Bert, Christine Choppy, Peter D. Mosses (eds.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 4.34 MB

0 / 0

english, 2000

11

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

Godina:

2018

Jezik:

english

Fajl:

PDF, 20.54 MB

0 / 0

english, 2018

12

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Godina:

2019

Jezik:

english

Fajl:

PDF, 9.84 MB

0 / 0

english, 2019

13

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

Godina:

2023

Jezik:

english

Fajl:

PDF, 8.66 MB

0 / 5.0

english, 2023

14

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

Marieke Huisman, Anton Wijs

Godina:

2023

Jezik:

english

Fajl:

PDF, 8.66 MB

0 / 0

english, 2023

15

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Springer-Verlag Berlin Heidelberg

Marieke Huisman, Julia Rubin (eds.)

Godina:

2017

Jezik:

english

Fajl:

PDF, 22.79 MB

0 / 0

english, 2017

16

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Godina:

2021

Jezik:

english

Fajl:

PDF, 32.66 MB

0 / 0

english, 2021

17

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Springer International Publishing

Marieke Huisman, Anton Wijs

Godina:

2023

Jezik:

english

Fajl:

EPUB, 39.48 MB

0 / 5.0

english, 2023

18

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Jan Friso Groote, Marieke Huisman

Godina:

2022

Jezik:

english

Fajl:

PDF, 13.09 MB

0 / 5.0

english, 2022

19

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Godina:

2021

Jezik:

english

Fajl:

EPUB, 76.24 MB

0 / 0

english, 2021

20

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Marieke Huisman, Anton Wijs

Godina:

2023

Jezik:

english

Fajl:

RAR, 50.11 MB

0 / 4.5

english, 2023

21

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet (auth.), Jean-Jacques Quisquater, Pierre Paradinas, Yves Deswarte, Anas Abou El Kalam (eds.)

Godina:

2004

Jezik:

english

Fajl:

PDF, 12.56 MB

0 / 0

english, 2004

22

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing

Erika Ábrahám, Marieke Huisman (eds.)

Godina:

2016

Jezik:

english

Fajl:

PDF, 24.74 MB

0 / 0

english, 2016

23

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)

Godina:

2006

Jezik:

english

Fajl:

PDF, 2.20 MB

0 / 0

english, 2006

24

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Godina:

2021

Jezik:

english

Fajl:

PDF, 32.66 MB

0 / 0

english, 2021

25

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

Godina:

2021

Jezik:

english

Fajl:

EPUB, 76.24 MB

0 / 0

english, 2021